____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Isometrische Isomorphie
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Isometrische Isomorphie beschreibt in der Funktionalanalysis einen Zusammenhang zwischen zwei unterschiedlichen RΓ€umen, die geometrisch identisch sind.
Contents
β’ Definition
β’ Beispiele
β’ Literatur
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Zwei normierte RΓ€ume ( X , β β β
β
β β X ) {\displaystyle (X,\Vert \cdot \Vert _{X})} und ( Y , β β β
β
β β Y ) {\displaystyle (Y,\Vert \cdot \Vert _{Y})} sind isometrisch isomorph, wenn zwischen ihnen ein Vektorraumisomorphismus T : X β β Y {\displaystyle T:X\rightarrow Y} existiert, der gleichzeitig eine Isometrie ist, also β β T x β β Y = β β x β β X {\displaystyle \Vert Tx\Vert _{Y}=\Vert x\Vert _{X}} erfΓΌllt. Man schreibt dann X β
β
Y {\displaystyle X\cong Y} .
Dies bedeutet, dass man die RΓ€ume eineindeutig miteinander identifizieren und LΓ€ngenmessungen im einen auf den anderen ΓΌbertragen kann. Der Operator T {\displaystyle T} ΓΌbernimmt die Identifizierung von Elementen aus X {\displaystyle X} mit Elementen aus Y . {\displaystyle Y.} Die Isometrie von T {\displaystyle T} sichert die Normerhaltung bei diesem Wechsel. Offenbar ist die Umkehrung T β β 1 {\displaystyle T^{-1}} wieder eine isometrische Isomorphie.
Beispiele
β’ Jeder separable unendlich-dimensionale Hilbertraum ist isometrisch isomorph zum Raum β 2 {\displaystyle \ell ^{2}} aller Folgen mit der Eigenschaft, dass die Summe der Quadrate aller Folgenglieder endlich ist.
β’ Zwei HilbertrΓ€ume sind genau dann isometrisch isomorph, wenn ihre Hilbertraumdimensionen ΓΌbereinstimmen.
β’ Jeder normierte Vektorraum ist isometrisch isomorph zu einem Untervektorraum des Raumes ( C ( K ) , β β β
β
β β β β ) {\displaystyle (C(K),\Vert \cdot \Vert _{\infty })} der stetigen Funktionen auf einem geeignet gewΓ€hlten kompakten topologischen Raum K {\displaystyle K} nach R {\displaystyle \mathbb {R} } mit der Supremumsnorm.
β’ Nach dem Satz von Banach-Mazur ist jeder separable, normierte Raum isometrisch isomorph zu einem Unterraum des Raums ( C ( [ 0 , 1 ] ) , β β β
β
β β β β ) {\displaystyle (C([0,1]),\Vert \cdot \Vert _{\infty })} der stetigen Funktionen vom Einheitsintervall [ 0 , 1 ] {\displaystyle [0,1]} nach R {\displaystyle \mathbb {R} } mit der Supremumsnorm.
Literatur